
#TOP		= $(PROJECT_DIR)
TOP		= $(PWD)


DEBUG = -g

MLOPT	= /opt/local/bin/ocamlopt
MLHEADER = /opt/local/lib/ocaml
MLLIB = /opt/local/lib/ocaml

CIL= $(TOP)/parser/contrib/cil-1.4.0/obj/x86_DARWIN
CILSTUB = $(TOP)/parser/src/cilstub
CILAST = ${TOP}/parser/src/ast

export	TOP DEBUG MLOPT MLHEADER MLLIB CIL CILSTUB CILAST


PKGS	= \
	parser/src \
	solvers/src \
	bmc/src


all: 
	for i in $(addprefix $(TOP)/,$(PKGS)); do \
		$(MAKE) -C $$i; \
	done

clean:
	for i in $(addprefix $(TOP)/,$(PKGS)); do \
		$(MAKE) -C $$i clean; \
	done
